fun (a as b) -> ()
